科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:编写生成有效提取程序的建设性证明
机译:通过IZF集理论语义从构造性HOL证明中提取程序
机译:一阶答案集编程作为构造性证明搜索
机译:使用建设性的一致性来提高学生的研究和写作技巧:房地产管理硕士学位课程的案例研究
机译:扩展投影-一种从构造证明中提取有效程序的新方法
机译:证明方案和证明编写。
机译:为科学期刊撰写建设性评论
机译:编写高效程序的案例研究。
机译:写提取方法,写提取设备和写提取程序
机译:需要利用认证系统访问设备,开放密钥证明获取方式和开放密钥证明无效验证方式以及存储和存储释放密钥证明获取程序存储装置来进行电子签名通信和密码通信的场合。并存储释放密钥证明无效验证程序存储空公钥加密,该空公共密钥加密存储认证系统访问程序和释放密钥证明
机译:通过考虑电视观看模式来推荐首选频道/节目的系统以及一种能够有效地提取适合用户意图的首选频道/节目的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。